منطق توافقي