/****************************************************************
* This file is part of CLKR - www.fernuni-hagen.de/wbs/clkr/
* 
* File       : all_cnfc_ab_1-10.clq
* Type       : Conditionals
* Domain     : all canonical normal form conditionals over a,b
* Date       : 2023-12-20
* Version    : v1.0
* 
* Details    : Signature size        : 2
*              Conds in file         : 10
* 
* Refs       : [BH20] Beierle, Haldimann (2020). Normal Forms of Conditional Knowledge Bases Respecting Entailments and Renamings (DOI: 10.1007/978-3-030-39951-1_2)
*
* Comments   : 
*  
* Signature  : a,b
****************************************************************/

( a,b   | a,b ; a,!b   ),
( a,!b   | a,b ; a,!b   ),
( a,b   | a,b ; !a,!b   ),
( !a,!b   | a,b ; !a,!b   ),
( a,!b   | a,!b ; !a,b   ),
( a,!b   | a,!b ; !a,!b   ),
( !a,!b   | a,!b ; !a,!b   ),
( a,b   | a,b ; a,!b ; !a,b   ),
( a,!b   | a,b ; a,!b ; !a,b   ),
( a,b ; a,!b   | a,b ; a,!b ; !a,b   )