/****************************************************************
* This file is part of CLKR - www.fernuni-hagen.de/wbs/clkr/
* 
* File       : all_nfc_abc_1-10.clq
* Type       : Conditionals
* Domain     : all normal form conditionals over a,b,c
* Date       : 2023-12-19
* Version    : v1.0
* 
* Details    : Signature size        : 3
*              Conds in file         : 10
* 
* Refs       : [BK19] Beierle, Kutsch (2019). Systematic Generation of Conditional Knowledge Bases up to Renaming and Equivalence (DOI: 10.1007/978-3-030-19570-0_18)
*
* Comments   : 
*  
* Signature  : a,b,c
****************************************************************/

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