1.将下列语句翻译成命题逻辑公式：
2.枚举什么意思

将下列语句翻译成命题逻辑公式：

       答案：设P：明天晴到多云；Q：西北风四级；R：有时五级．P∧Q∧R．$设P：她长得漂亮；Q：她文雅． ￢P∧￢Q$设P：要人知；Q：己莫为． ￢P→Q．$设P：有***；Q：有新中国． ￢P→￢Q．$设P：**染料；Q：红色染料；R：棕色染料；S：橙色染料． (P∧Q)→(R?文雅S)．$设P：天黑了；Q：外面有狼；R：你在这里过一宿． (P∧Q)→R．$设P：生命终止；Q：战斗停止． ￢P→￢Q．$设P：劳动者；Q：得到食物． ￢P￢Q．

枚举什么意思

       拼音：méi jǔ

       释义：指一一列举。

       语出：

       《书·无逸》：“其在祖甲，源码不义惟王。公式”

       蔡沈传：“及云者，文雅因其先后次第而枚举之辞也。源码”

       基本解释

       [enumerate] 一一列举

       详细解释

       一一列举。公式如何查找网页视频源码编码

       《北史·恩幸传序》：“其间盗官卖爵，文雅污辱宫闱者多矣，源码亦何可枚举哉。公式”《书·无逸》“其在祖甲 ，文雅不义惟王” 宋 蔡沉 集传：“下文 周公 言，源码自殷王中宗及高宗及祖甲及我 周文王 。公式及云者，文雅因其先后次第而枚举之辞也。源码” 清 李渔 《闲情偶寄·词曲上·结构》：“此类繁多，公式不能枚举。16 源码”

       　枚举 (enumeration)

       值类型的一种特殊形式，它从 System.Enum 继承，并为基础基元类型的值提供备用名称。枚举类型有名称、基础类型和一组字段。基础类型必须是一个内置的有符号（或无符号）整数类型（如 Byte、Int 或 UInt）。字段是静态文本字段，其中的每一个字段都表示常数。所使用的语言给每个字段都分配一个基础类型的特定值。

       枚举(enum)

       枚举在C/C++/c#中，是一个被命名的整型常数的集合, 枚举在日常生活中很常见。

       例如表示星期的SUNDAY, MONDAY, TUESDAY, WEDNESDAY, THURSDAY, FRIDAY,

       SATURDAY, 就是一个枚举。

       枚举的说明与结构和联合相似, 其形式为:

       enum 枚举名{

       标识符[=整型常数],

       标识符[=整型常数],

       ...

       标识符[=整型常数]

       } 枚举变量;

       如果枚举没有初始化, 即省掉"=整型常数"时, 则从第一个标识符开始, 顺

       次赋给标识符0, 1, 2, ...。但当枚举中的aiohttp 源码某个成员赋值后, 其后的成员按依次

       加1的规则确定其值。

       例如下列枚举说明后, x1, x2, x3, x4的值分别为0, 1, 2, 3。

       enum Num{ x1, x2, x3, x4}x;

       当定义改变成:

       enum Num

       {

       x1,

       x2=0,

       x3=,

       x4

       }x;

       则x1=0, x2=0, x3=, x4=

       注意:

       1. 枚举中每个成员(标识符)结束符是",", 不是";", 最后一个成员可省略

       ","。

       2. 初始化时可以赋负数, 以后的标识符仍依次加1。

       3. 枚举变量只能取枚举说明结构中的某个标识符常量。

       例如:

       enum Num

       {

       x1=5,

       x2,

       x3,

       x4

       };

       enum Num x=x3;

       此时, 枚举变量x实际上是7。

       枚举类型变量的赋值和使用

       枚举类型在使用中有以下规定：

       1.枚举值是常量，不是变量。不能在程序中用赋值语句再对它赋值。例如对枚举weekday的元素再作以下赋值： sun=5;mon=2;sun=mon; 都是错误的。

       2. 枚举元素本身由系统定义了一个表示序号的数值，从0 开始顺序定义为0，1，2…。如在weekday中，sun值为0，dmapp源码mon值为1， …,sat值为6。

       main(){

       enum weekday

       { sun,mon,tue,wed,thu,fri,sat } a,b,c;

       a=sun;

       b=mon;

       c=tue;

       printf("%d,%d,%d",a,b,c);

       }

       3. 只能把枚举值赋予枚举变量，不能把元素的数值直接赋予枚举变量。如： a=sun;b=mon; 是正确的。而： a=0;b=1; 是错误的。如一定要把数值赋予枚举变量，则必须用强制类型转换，如： a=(enum weekday)2;其意义是将顺序号为2的枚举元素赋予枚举变量a，相当于： a=tue; 还应该说明的是枚举元素不是字符常量也不是字符串常量， 使用时不要加单、双引号。

       main(){

       enum body

       { a,b,c,d } month[],j;

       int i;

       j=a;

       for(i=1;i<=;i++){

       month=j;

       j++;

       if (j>d) j=a;

       }

       for(i=1;i<=;i++){

       switch(month)

       {

       case a:printf(" %2d %c\t",i,'a'); break;

       case b:printf(" %2d %c\t",i,'b'); break;

       case c:printf(" %2d %c\t",i,'c'); break;

       case d:printf(" %2d %c\t",i,'d'); break;

       default:break;

       }

       }

       printf("\n");

       }

       个数字,任意取出不相等的5个数字,

       谁还记得这个算法的公式

       用javascript有什么好的计算方法?

       m　n*(n-1)*(n-2)*...*(n-m+1)　n!

       C　= ---------------------------------------------　=　--------------------------

       n　m*(m-1)*(m-2)*...*3*2*1　m!*(n-m)!

       这个是公式,但是对枚举作用不大,还是要遍历循环才行.

       这就需要一个好的算法

       　1~n全排列

       给定一整数n，要按照字典序从小到大的顺序枚举输出前n个数（1-n）的全排列。例如：n=3时，linset源码枚举排列结果是：（1，2，3）、（1，3，2）、（2，1，3）、（2，3，1）、（3，1，2）、（3，2，1）。以下是c语言源码实现该算法：

        程序运行结果

       ------------------------------------c源码----------------------------------------

       #include<stdio.h>

       #include<time.h>

       void print_permutation(int n,int *A,int cur){

       int i,j;

       if(cur==n){

       for(i=0;i<n;i++)

       printf("%d",A);

       printf("\n");

       }

       else for(i=1;i<=n;i++){

       int ok=1;

       for(j=0;j<cur;j++){

       if(A[j]==i)

       ok=0;

       }

       if(ok){

       A[cur]=i;

       print_permutation(n,A,cur+1);//递归调用

       }

       }

       }

       void main(){

       int n;

       int A[];

       printf("input the n:");

       scanf("%d",&n);

       print_permutation(n,A,0);

       printf("time used:%.2lf\n",(double)clock()/CLOCKS_PER_SEC);//测试程序运行时间

       }

       ------------------------------------c源码----------------------------------------

       可重集全排列

       输入数组P，并按字典序输出数组P各元素的全排列到A（注意：P有序），例如P序列为：1 1 2，则对应的排序结果为：（1，1，2）、（1，2，1）、（2，1，1）。以下是该算法的c源码，P数组长度可以自己调整。

        程序运行结果

       ------------------------------------c源码----------------------------------------

       #include<stdio.h>

       #include<time.h>

       void print_permutation(int n,int *P,int *A,int cur){

       int i,j;

       if(cur==n){

       for(i=0;i<n;i++)

       printf("%d",A);

       printf("\n");

       }

       else for(i=0;i<n;i++){

       if(!i||P!=P[i-1]){

       int c1=0,c2=0;

       for(j=0;j<cur;j++){

       if(A[j]==P)

       c1++;

       }

       for(j=0;j<n;j++){

       if(P==P[j])

       c2++;

       }

       if(c1<c2){

       A[cur]=P;

       print_permutation(n,P,A,cur+1);//递归调用

       }

       }

       }

       }

       void main(){

       int n,m;

       int A[];

       int P[4];//可以自己修改

       int i=0;

       while(scanf("%d",&m)==1){

       P=m;

       i++;

       }

       n=i;

       print_permutation(n,P,A,0);

       printf("time used:%.2lf\n",(double)clock()/CLOCKS_PER_SEC);

       }

       ------------------------------------c源码----------------------------------------

       枚举（pascal)

       随着计算机的不断普及，程序不仅只用于数值计算，还更广泛地用于处理非数值的数据。例如：性别、月份、星期几、颜色、单位名、学历、职业等，都不是数值数据。 在其它程序设计语言中，一般用一个数值来代表某一状态，这种处理方法不直观，易读性差。如果能在程序中用自然语言中有相应含义的单词来代表某一状态，则程序就很容易阅读和理解。也就是说，事先考虑到某一变量可能取的值，尽量用自然语言中含义清楚的单词来表示它的每一个值，这种方法称为枚举方法，用这种方法定义的类型称枚举类型。

       type

       daytype=(sun,mon,tue,wed,thu,fri,sat );

       C#中的枚举

       枚举类型是一种的值类型，它用于声明一组命名的常数。

       (1)枚举的声明:枚举声明用于声明新的枚举类型。

       访问修辞符 enum 枚举名:基础类型

       {

       枚举成员

       }

       基 础类型必须能够表示该枚举中定义的所有枚举数值。枚举声明可以显式地声明 byte、sbyte、short、ushort、int、uint、long 或 ulong 类型作为对应的基础类型。没有显式地声明基础类型的枚举声明意味着所对应的基础类型是 int。

       (2)枚举成员

       枚举成员是该枚举类型的命名常数。任意两个枚举成员不能具有相同的名称。每个枚举成员均具有相关联的常数值。此值的类型就是枚举的基础类型。每个枚举成员的常数值必须在该枚举的基础类型的范围之内。

       示例:

       public enum TimeofDay:uint

       {

       Morning=-3,

       Afternoon=-2,

       Evening=-1

       }

       产生编译时错误，原因是常数值 -1、-2 和 –3 不在基础整型 uint 的范围内。

       (3)枚举成员默认值 

       在枚举类型中声明的第一个枚举成员它的默值为零。

       以后的枚举成员值是将前一个枚举成员（按照文本顺序）的值加 1 得到的。这样增加后的值必须在该基础类型可表示的值的范围内；否则，会出现编译时错误。

       示例:

       public enum TimeofDay:uint

       {

       Morning,

       Afternoon,

       Evening

       }

       Morning的值为0,Afternoon的值为1,Evening的值为2。

       (4)为枚举成员显示赋值

       允许多个枚举成员有相同的值.

       没有显示赋值的枚举成员的值，总是前一个枚举成员的值+1.

       示例

       public enum Number

       {

       a=1,

       b,

       c=1,

       d

       }

       b的值为2,d的值为2.

       注意：以上枚举值都不能超过它的基础类型范围。否则会报错.

       (5)枚举类型与基础类型的转换

       基础类型不能隐式转换为枚举类型

       枚举类型也不能隐式转换为基础类型

       示例:

       public enum Number

       {

       a,

       b,

       c,

       d

       }

       class Test

       {

       public static void Main()

       {

       int i=Number.a;//错误，要强制类型转换(int)Number.a

       Number n;

       n=2 //错误,要强制类型转换(Number)2

       }

       }

       (6)System.Enum类型

       System.Enum 类型是所有枚举类型的抽象基类,并且从 System.Enum 继承的成员在任何枚举类型中都可用。

       System.Enum 本身不是枚举类型。相反，它是一个类类型，所有枚举类型都是从它派生的。

       System.Enum 从类型 System.ValueType派生

       (7)使用枚举类型

       using System;

       public enum TimeofDay

       {

       Morning,

       Afternoon,

       Evening

       } class Test

       {

       static void WriteGreeting(TimeofDay timeofDay)

       {

       switch(timeofDay)

       {

       case TimeofDay.Morning:

       Console.WriteLine("good morning");

       break;

       case TimeofDay.Afternoon:

       Console.WriteLine("good afternoon");

       break;

       case TimeofDay.Evening:

       Console.WriteLine("good evening");

       break;

       }

       }

       static void Main()

       {

       WriteGreeting(TimeofDay.Morning);

       WriteGreeting(TimeofDay.Evening);

       WriteGreeting(TimeofDay.Afternoon);

       }

       }